Rate Analysis and Deadlock Detection for HUME

HUME is a domain-specific programming language targeting resourcebounded computations, such as real-time embedded systems. Rate analysis is a novel algorithm for HUME that determines the relative rates (i.e. how often events occur, or components need to run) within the whole system, and as such the algorithm possess the following useful properties: • Deadlock Detection – of some cases. • Scheduling – suggesting priority of components and possible parallelism. • Static – can be performed before running the program. • Cheap – polynomial algorithm. Finally for completeness, runtime deadlock detection within HUME also turns out to be very cheap and the algorithm is given is well.